TU Berlin

Modelle und Theorie Verteilter SystemeAbschlussarbeiten (Detail)

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Inhalt des Dokuments

Bachelor

Encoding Limited CSP into Extended CCS

Donnerstag, 11. Dezember 2014

Betreuer/in: Wagner
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. rer. nat. Glesner

Hatzel, Meike

In this thesis we want to compare two process calculi: CSP and CCS. We limit CSP to a specific syntax and substitute the parallel operator. We also extend CCS by name-passing. The aim is to find an encoding from CSP in CCS that is stronger then the, in [Gla12] presented, encoding up-to trace-equivalence. Still they remain uncomparable in the end due to our modifications. We give the encoding and proofs for some essential criteria from [Gor08] in two steps. We first concentrate on a small part of the CSP syntax to then add the rest of the syntax. In the end we explain some remaining problems and ideas for solutions. 


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe